| 1. | On some problems in the research on epistemic logic
试论认知逻辑研究中的若干问题 |
| 2. | Epistemic logic : on the decidability of epistemic logic
关于认识逻辑的可判定性 |
| 3. | Epistemic logic : a logical framework for knowledge and belief
全知性和真知性 |
| 4. | Reasoning inconsistency among viewpoints using temporal epistemic logic
多视点间不一致性的认知推理 |
| 5. | Self - belief epistemic logics
自信性认知逻辑 |
| 6. | Bounded model checking for temporal epistemic logic in synchronous multi - agent systems
有界模型检测同步多智体系统的时态认知逻辑 |
| 7. | The semantics of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of epistemic logic
该逻辑的语义是以一般的多agent系统模型给出的，并且与认知逻辑的解释系统密切相关。 |
| 8. | The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms
摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑el ，并给出其语义和公理系统。 |
| 9. | This paper introduces a new methodology that uses - it knowledge structures , a specific form of kripke semantics for epistemic logic , to analyze communication protocols over hostile networks . the paper particularly focuses on automatic verification of authentication protocols . our approach is based on the actual definitions of a protocol , not on some difficult - to - establish justifications
认知逻辑的kripke语义已经被成功应用到通信协议的推理分析中例如,交替位协议alternating bit protocol的分析,及最近的对tcp的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达 |
